Trait isotope::prelude::OptionalValue [−][src]
pub trait OptionalValue: Substitute + Cons { fn annot_opt(&self) -> Option<AnnotationRef<'_>>; fn is_local_ty(&self) -> Option<bool>; fn universe_opt(&self) -> Option<Universe>; fn code(&self) -> Option<Code>; fn untyped_code(&self) -> Option<Code>; fn load_flags_opt(&self) -> Option<TyckFlags>; fn eq_in_opt(
&self,
other: &Self,
ctx: &mut impl TermEqCtxMut + ?Sized
) -> Option<bool>; }
Expand description
A convenience trait implemented by Option<V>
where V
is a value
Required methods
fn annot_opt(&self) -> Option<AnnotationRef<'_>>
[src]
fn annot_opt(&self) -> Option<AnnotationRef<'_>>
[src]Get the type annotation of this term, or None
if this term is None
fn is_local_ty(&self) -> Option<bool>
[src]
fn is_local_ty(&self) -> Option<bool>
[src]Get whether this term is a type in all contexts, or None
if this term is None
fn universe_opt(&self) -> Option<Universe>
[src]
fn universe_opt(&self) -> Option<Universe>
[src]Get whether this term has a universe in all contexts, or None
if this term is None
fn untyped_code(&self) -> Option<Code>
[src]
fn untyped_code(&self) -> Option<Code>
[src]Get the hash-code of this term if it was untyped, or None
if this term is None
fn load_flags_opt(&self) -> Option<TyckFlags>
[src]
fn load_flags_opt(&self) -> Option<TyckFlags>
[src]Load this term’s current flags, or None
if this term is None